- Гентцен
- = Генцен; p.n.Gentzen
Русско-английский словарь по математике. 2015.
Гентцен
Look at other dictionaries:
Лётчик-ас — У этого термина существуют и другие значения, см. Ас. Ас (фр. as «туз»; первый в своей области) мастер воздушного боя. Впервые это слово было применено в Первую мировую войну к военным лётчикам, в совершенстве владеющим… … Википедия
Список логиков — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
Формальная семантика — Для термина «семантика» см. другие значения. Формальная семантика это изучение семантики, или интерпретации, формальных и естественных языков путём их формального описания в математических терминах. Формальный язык может быть задан без… … Википедия
